Minimum Ellipsoid Bounds for Solutions of Polynomial Systems via Sum of Squares

نویسندگان

  • Jiawang Nie
  • James Demmel
چکیده

Abstract. We study ellipsoid bounds for the solutions (x,μ)∈Rn×Rr of polynomial systems of equalities and inequalities. The variable μ can be considered as parameters perturbing the solution x. For example, bounding the zeros of a system of polynomials whose coefficients depend on parameters is a special case of this problem. Our goal is to find minimum ellipsoid bounds just for x. Using theorems from real algebraic geometry, the ellipsoid bound can be found by solving a particular polynomial optimization problem with sums of squares (SOS) techniques. Some numerical examples are also given.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Semidefinite Characterization of Sum-of-Squares Cones in Algebras

We extend Nesterov’s semidefinite programming characterization of squared functional systems to cones of sum-of-squares elements in general abstract algebras. Using algebraic techniques such as isomorphism, linear isomorphism, tensor products, sums and direct sums, we show that many concrete cones are in fact sum-of-squares cones with respect to some algebra, and thus representable by the cone ...

متن کامل

On the Bit Complexity of Sum-of-Squares Proofs

It has often been claimed in recent papers that one can find a degree d Sum-of-Squares proof if one exists via the Ellipsoid algorithm. In [16], Ryan O’Donnell notes this widely quoted claim is not necessarily true. He presents an example of a polynomial system with bounded coefficients that admits low-degree proofs of non-negativity, but these proofs necessarily involve numbers with an exponen...

متن کامل

An Incremental DC Algorithm for the Minimum Sum-of-Squares Clustering

Here, an algorithm is presented for solving the minimum sum-of-squares clustering problems using their difference of convex representations. The proposed algorithm is based on an incremental approach and applies the well known DC algorithm at each iteration. The proposed algorithm is tested and compared with other clustering algorithms using large real world data sets.

متن کامل

CSC 5160 : Combinatorial Optimization and Approximation Algorithms

To illustrate this technique, we give an alternate proof that the natural linear program for bipartite perfect matching is integral. Then we study the classical minimum spanning tree problem, and see how to attack this problem using linear programming. In fact, an exponential size LP will be used for the minimum spanning tree problem. First we will show how to solve this exponential size LP via...

متن کامل

Stability Region Analysis using composite Lyapunov functions and Sum of Squares Programming

We propose using (bilinear) sum-of-squares programming for obtaining inner bounds of regionsof-attraction and outer bounds of attractive invariant sets for dynamical systems with polynomial vector fields. We search for composite Lyapunov functions, comprised of pointwise maximums and pointwise minimums of polynomial functions. Excellent results for some examples are obtained using the proposed ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Global Optimization

دوره 33  شماره 

صفحات  -

تاریخ انتشار 2005